22

A formal framework for quantifying voter-controlled privacy

Year:
2009
Language:
english
File:
PDF, 275 KB
english, 2009
28

Formal modelling and analysis of receipt-free auction protocols in applied pi

Year:
2016
Language:
english
File:
PDF, 5.81 MB
english, 2016
29

Privacy and verifiability in voting systems: Methods, developments and trends

Year:
2013
Language:
english
File:
PDF, 1.47 MB
english, 2013